1

Safe inductions and their applications in knowledge representation

Year:
2018
Language:
english
File:
PDF, 516 KB
english, 2018
2

Grounded fixpoints and their applications in knowledge representation

Year:
2015
Language:
english
File:
PDF, 611 KB
english, 2015
3

Erratum to splitting an operator

Year:
2007
Language:
english
File:
PDF, 54 KB
english, 2007
5

A principled approach to defining actual causation

Year:
2016
Language:
english
File:
PDF, 588 KB
english, 2016
6

Splitting an operator

Year:
2006
Language:
english
File:
PDF, 316 KB
english, 2006
13

Actual causation in CP-logic

Year:
2011
Language:
english
File:
PDF, 184 KB
english, 2011
23

FO(ID) as an extension of DL with rules

Year:
2010
Language:
english
File:
PDF, 633 KB
english, 2010